Models of parallel chaotic iteration methods
نویسندگان
چکیده
منابع مشابه
Chaotic iteration for polynomial constraints
In this paper we argue for an alternative way of designing solvers based on interval arithmetic. We achieve constraint propagation over real numbers using chaotic iteration, a general and basic technique used for computing limits of iterations of nite sets of functions. This is carried out in two steps: rst involving computationally \cheap" functions for reducing constraint satisfaction problem...
متن کاملA Distributed Chaotic Iteration Algorithm
This paper discusses distributed constraint propagation. We propose a generic distributed framework based on the notion of chaotic iteration. We prove correctness and implicit termination of our algorithm that apply to distributed constraint satisfaction problems, and also leads to sig-niicant speed-ups on distributions of constraint satisfaction problems.
متن کاملHigher-Order Chaotic Iteration Sequences
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for Prolog programs and in abstract interpretation when only parts of a fixpoint result is needed to perform program optimisations. In the first part of this paper we reexamine the definition of chaotic iteration sequences ...
متن کاملEfficient chaotic iteration strategies with widenings
Abstract interpretation is a formal method that enables the static and automatic determination of run-time properties of programs. This method uses a characterization of program invariants as least and greatest fixed points of continuous functions over complete lattices of program properties. In this paper, we study precise and efficient chaotic iteration strategies for computing such fixed poi...
متن کاملFrom Chaotic Iteration to Constraint Propagation
\Don't express your ideas too clearly. Most people think little of what they understand, and venerate what they do not." ABSTRACT We show how the constraint propagation process can be naturally explained by means of chaotic iteration.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linear Algebra and its Applications
سال: 1988
ISSN: 0024-3795
DOI: 10.1016/0024-3795(88)90227-3